\relax 
\newlabel{claim:couples}{{1}{8}}
\newlabel{claim:other-group}{{2}{8}}
